﻿// This javascript file is empty, on purpose.